miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·5d·
Discuss: Hacker News
⚡Circuit Design
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·22h
📏Linear Logic
An easy-to-implement, arena-friendly hash map
nullprogram.com·4h·
Discuss: Lobsters
🔐Hash Functions
Arduino Obstacle Avoiding Robot - w/ Custom Chassis
hackster.io·2d
🤖Tape Automation
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
How To Solve Every Programming Problem
blog.codeminer42.com·6h
📐Interval Arithmetic
My blog on zero-knowledge cryptography
kaw101010.github.io·1h·
Discuss: Hacker News
🔐Quantum Security
'ReVault' Security Flaws Impact Millions of Dell Laptops
darkreading.com·5h
🔓Hacking
The Amaranth hardware description language
amaranth-lang.org·22h·
Discuss: Hacker News
🔍FPGA Verification
Automated Fuzzy Rule Optimization via Hybrid Genetic-Simulated Annealing for Medical Diagnostic Systems
dev.to·7h·
Discuss: DEV
🔗Constraint Handling
Building a Home Lab for Self-Hosting & Cybersecurity Labs - What Do You Think of This Setup ?
preview.redd.it·10h·
Discuss: r/homelab
🏠HomeLab
Completed rewiring of power supply into the IBM 1132 printer
rescue1130.blogspot.com·4h·
Discuss: rescue1130.blogspot.com
⚙️DIY Electronics
Three challenges in machine-based reasoning
amazon.science·20h·
Discuss: Hacker News
🧮Theorem Proving
Reverse-Engineering Game Boy Advance Games (and General Advice)
nytpu.com·1d
🎮Game Decompilation
2025 One Hertz Challenge: LoRaSense RGB Pi HAT
hackaday.com·21h
🔌Single Board PC
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
Experience report: Implementing High Volume Automated Testing system
mirekdlugosz.com·9h
🧪Property-Based Testing
Ada on RP2350
synack.me·1d
🎯Emulation Accuracy
I may be building a new system soon, but not "cutting edge"
forums.anandtech.com·3h
🧲RISC-V Archaeology
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers